Difficulties with unification.
نویسندگان
چکیده
منابع مشابه
Boolean unification with predicates
In this article, we deal with the following problem which we call Boolean unification with predicates: For a given formula F[X ] in first-order logic with equality containing an n-ary predicate variable X , is there a quantifier-free formula G[x1,...,xn] such that the formula F[G] is valid in first-order logic with equality? We obtain the following results. Boolean unification with predicates f...
متن کاملSupersymmetry with Grand Unification∗
Supersymmetry (SUSY) has many well known attractions, especially in the context of Grand Unified Theories (GUTs). SUSY stabilizes scalar mass corrections (the hierarchy problem), greatly reduces the number of free parameters, facilitates gauge coupling unification, and provides a plausible candidate for cosmological dark matter. In this conference report we survey some recent examples of progre...
متن کاملUnification and Default Unification
Unification of (typed) feature structures is an important tool for capturing linguistic generalizations. It is the core of a family of linguistic formalisms, it has been applied in phonology, morphology, syntax, and semantics, and is dominant in most linguistically informed work in natural language processing. Unification monotonically merges information. Default unification provides a non-mono...
متن کاملUnification without Unification
The logarithmic running of the gauge couplings α1, α2 and α3, indicates that they may unify at some scale MGUT ∼ 10 GeV. This is often taken to imply that the standard model gauge group is embedded into some larger simple group in which quarks and leptons are placed in the same multiplet. These models have generic features, such as proton decay, and generic problems, namely the splitting of the...
متن کاملRepresentational Difficulties with Classifier Systems
Classifier systems are currently in vogue as a way of using genetic algorithms to demonstrate machine learning. However, there are a number of difficulties with the formalization that can influence how knowledge is represented and the rate at which the system can learn. Some of the problems are inherent in classifier systems, and one must learn to cope with them, while others are pitfalls waiti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the National Academy of Sciences
سال: 1995
ISSN: 0027-8424,1091-6490
DOI: 10.1073/pnas.92.25.11407